[[Set theory MOC]] # Category of sets The **category of sets** $\Set$ is a [[category]] where an object is a [[set]] and a morphism is a [[function]]. #m/def/set ## See also - An elementary axiomatization is given by [[ETCS]], a possible structuralist foundation for mathematics. ## Skeleton The canonical [[skeleton category]] is contains only the [[cardinal|cardinals]] as objects. # --- #state/develop | #lang/en | #SemBr